\relax 
\citation{kuhn2002investigation}
\citation{kuhn2004software}
\citation{kuhn2002investigation}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{\thepage }}
\citation{yoo2013fault}
\citation{martinez2008algorithms}
\citation{martinez2009locating}
\citation{nie2011minimal}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The life cycle of CT}}{\thepage }}
\newlabel{ct-life}{{1}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {2}Background}{\thepage }}
\citation{nie2011minimal}
\citation{cohen2003augmenting}
\citation{lei2008ipog}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}CT Test Case Generation}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Identify the failure-inducing interactions}{\thepage }}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces OFOT with our strategy}}{\thepage }}
\newlabel{ofot-identify}{{1}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {3}Motivating example}{\thepage }}
\citation{yilmaz2013reducing}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Traditional generation-identification life-cycle}}{\thepage }}
\newlabel{tradition-gi}{{2}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {4}Interleaving Approach}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Overall framework}{\thepage }}
\citation{cohen2007interaction}
\citation{cohen1997aetg}
\citation{cohen2007interaction}
\citation{cohen2008constructing}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces The Interleaving Framework}}{\thepage }}
\newlabel{new-life}{{2}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Modifications of CT activities}{\thepage }}
\newlabel{eq1}{{{EQ1}}{\thepage }}
\newlabel{eq2}{{{EQ2}}{\thepage }}
\newlabel{eq3}{{{EQ3}}{\thepage }}
\newlabel{eq4}{{{EQ4}}{\thepage }}
\newlabel{eq5}{{{EQ5}}{\thepage }}
\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces Changing coverage after identification of MFS}}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Example}{\thepage }}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Interleaving CT case study}}{\thepage }}
\newlabel{new-gi}{{3}{\thepage }}
\citation{tomcatconnector}
\citation{shakya2012isolating}
\citation{kuhn2006pseudo}
\citation{kuhn2006pseudo}
\citation{cohen1997aetg}
\citation{nie2011minimal}
\citation{le2010sat4j}
\@writefile{toc}{\contentsline {section}{\numberline {5}empirical studies}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Subject programs}{\thepage }}
\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Subject programs}}{\thepage }}
\newlabel{subject}{{4}{\thepage }}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.1.1}Specific inputs models}{\thepage }}
\@writefile{lot}{\contentsline {table}{\numberline {5}{\ignorespaces Inputs model }}{\thepage }}
\newlabel{inputs}{{5}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Comparing with sequential CT}{\thepage }}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.1}Study setup}{\thepage }}
\citation{niu2013identifying}
\citation{colbourn2008locating}
\citation{martinez2009locating}
\citation{martinez2008algorithms}
\citation{cohen1997aetg}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2}Result and discussion}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Comparing with Error Locating Array}{\thepage }}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1}Study setup}{\thepage }}
\citation{martinez2008algorithms}
\citation{martinez2009locating}
\@writefile{lot}{\contentsline {table}{\numberline {6}{\ignorespaces Comparison of the number of test cases}}{\thepage }}
\newlabel{cm_elda_fglt_test}{{6}{\thepage }}
\@writefile{lot}{\contentsline {table}{\numberline {7}{\ignorespaces Comparison of the quality of the identified MFS}}{\thepage }}
\newlabel{cm_elda_fglt}{{7}{\thepage }}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.2}Result and discussion}{\thepage }}
\@writefile{lot}{\contentsline {table}{\numberline {8}{\ignorespaces Results from Error Locating Array}}{\thepage }}
\newlabel{cm_ela}{{8}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Threats to validity}{\thepage }}
\citation{cohen1997aetg}
\citation{nie2011minimal}
\citation{kuhn2010practical}
\citation{yilmaz2006covering}
\citation{cohen2006testing}
\citation{fouche2009incremental}
\citation{cohen1997aetg}
\citation{borazjany2012combinatorial}
\citation{garn2014eris}
\citation{nie2011survey}
\citation{cohen2007exploiting}
\citation{cohen2008constructing}
\citation{dumlu2011feedback}
\citation{yilmaz2013reducing}
\citation{fouche2009incremental}
\citation{fouche2009incremental}
\citation{cohen2007exploiting}
\citation{cohen2008constructing}
\citation{bryce2006prioritized}
\citation{dumlu2011feedback}
\citation{yilmaz2013reducing}
\citation{nie2013adaptive}
\citation{martinez2009locating}
\citation{martinez2008algorithms}
\bibstyle{abbrv}
\bibdata{sigproc}
\bibcite{borazjany2012combinatorial}{1}
\bibcite{bryce2006prioritized}{2}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Comparison of the combining metric}}{\thepage }}
\newlabel{cm_performance}{{3}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {6}related works}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {8}References}{\thepage }}
\bibcite{cohen1997aetg}{3}
\bibcite{cohen2003augmenting}{4}
\bibcite{cohen2007exploiting}{5}
\bibcite{cohen2007interaction}{6}
\bibcite{cohen2008constructing}{7}
\bibcite{cohen2006testing}{8}
\bibcite{colbourn2008locating}{9}
\bibcite{dumlu2011feedback}{10}
\bibcite{fouche2009incremental}{11}
\bibcite{garn2014eris}{12}
\bibcite{tomcatconnector}{13}
\bibcite{kuhn2010practical}{14}
\bibcite{kuhn2006pseudo}{15}
\bibcite{kuhn2002investigation}{16}
\bibcite{kuhn2004software}{17}
\bibcite{le2010sat4j}{18}
\bibcite{lei2008ipog}{19}
\bibcite{martinez2008algorithms}{20}
\bibcite{martinez2009locating}{21}
\bibcite{nie2011minimal}{22}
\bibcite{nie2011survey}{23}
\bibcite{nie2013adaptive}{24}
\bibcite{niu2013identifying}{25}
\bibcite{shakya2012isolating}{26}
\bibcite{yilmaz2006covering}{27}
\bibcite{yilmaz2013reducing}{28}
\bibcite{yoo2013fault}{29}
